-
1 аксиома не требует доказательства
1) Mathematics: an/the axiom needs no proof2) Makarov: an axiom needs no proofУниверсальный русско-английский словарь > аксиома не требует доказательства
-
2 аксиома
ж. axiom, postulate, principle -
3 аксиома
1) axiom
2) postulate
– аксиома выбора
– аксиома замены
– аксиома мощности
– аксиома о параллельных
– аксиома отделимости
– аксиома полноты
– аксиома сводимости
– аксиома сохранения
– аксиома счетности
– аксиома треугольника
аксиома математической индукции — axiom of complete induction
аксиома не требует доказательства — axiom needs no proof
-
4 аксиома
Русско-английский словарь по информационным технологиям > аксиома
-
5 Аксиома
♦ ( ENG axiom)(греч. axioma, лат. axioma - утверждение)утверждение, к-рое не требует доказательства и, следовательно, служит предпосылкой и основой аргументации. В христианском учении такой аксиомой может быть утверждение: "Бог существует". -
6 система аксиом
-
7 неопровержимое доказательство
1. conclusive evidenceотрицающее, опровергающее доказательство — negative evidence
окончательное, решающее доказательство — conclusive evidence
никаких улик, ни тени доказательства — not a rag of evidence
2. infallible proofосновательные, серьёзные доказательства — foundational proof
Русско-английский большой базовый словарь > неопровержимое доказательство
-
8 axiom
1) аксиома
2) постулат
– axiom of accessibility
– axiom of choice
– axiom of choise
– axiom of power
– completeness axiom
– countability axiom
– denumberability axiom
– exchange axiom
– parallel axiom
– reducibility axiom
– retention axiom
– separability axiom
– take as an axiom
– triangle axiom
axiom of complete induction — аксиома математической индукции
-
9 доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
-
10 косвенное доказательство
[lang name="Russian"]основательные, серьёзные доказательства — foundational proof
Русско-английский научный словарь > косвенное доказательство
-
11 доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > доказательство
-
12 служивший доказательством
основательные, серьёзные доказательства — foundational proof
Русско-английский военно-политический словарь > служивший доказательством
-
13 формальное доказательство
основательные, серьёзные доказательства — foundational proof
Русско-английский словарь по информационным технологиям > формальное доказательство
-
14 представлять доказательство
основательные, серьёзные доказательства — foundational proof
Бизнес, юриспруденция. Русско-английский словарь > представлять доказательство
-
15 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
16 proof
1) доказательство
2) непроницаемый
3) нормативный
4) пробный отпечаток
5) рашкетный
6) стандартный
7) проверка
8) испытание
9) защищенный
10) обоснование
11) безопасный
12) герметизировать
13) проба
– acid proof
– brush proof
– certificate of proof
– existence proof
– first proof
– foundry proof
– galley proof
– indirect proof
– irreducible proof
– not serving as a proof
– page proof
– press proof
– proof against
– proof by contradiction
– proof load
– proof press
– proof scheme
– proof spirit
– proof strength
– proof theory
– rigorous proof
– without proof
-
17 an axiom needs no proof
Макаров: аксиома не требует доказательстваУниверсальный англо-русский словарь > an axiom needs no proof
-
18 an/the axiom needs no proof
Математика: аксиома не требует доказательстваУниверсальный англо-русский словарь > an/the axiom needs no proof
См. также в других словарях:
Аксиома выбора — Аксиомой выбора называется следующее высказывание теории множеств: «Для каждого семейства непустых непересекающихся множеств существует (по меньшей мере одно) множество , которое имеет только один общий элемент c каждым из множеств данного… … Википедия
Аксиома — ♦ (ENG axiom) (греч. axioma, лат. axioma утверждение) утверждение, к рое не требует доказательства и, следовательно, служит предпосылкой и основой аргументации. В христианском учении такой аксиомой может быть утверждение: Бог существует … Вестминстерский словарь теологических терминов
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
Аксиома параллельности Евклида — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат одна из аксиом, лежащ … Википедия
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Пятая аксиома в евклидовой геометрии — Пересечения прямых (анимация) Аксиома параллельности Евклида, или пятый постулат одна из аксиом, лежащих в основании классической планиметрии. Впервые приведена в «Началах» Евклида [1]: И если прямая, падающая на две прямые, образует внутренние и … Википедия
Лемма Цорна — Аксиомой выбора (Axiom of choice) называется следующее высказывание теории множеств: Аксиома выбора утверждает: «Для каждого семейства непустых непересекающихся множеств существует [по меньшей мере одно] множество , которое имеет только один… … Википедия
ДЕКАРТ — (Descartes) Рене (латинизир. имя Картезий; Renatus Cartesius) (1596 1650) фр. философ и ученый, один из основателей философии и науки Нового времени. Основные философско методологические соч.: «Рассуждение о методе» (1637), «Размышления о первой… … Философская энциклопедия
Распространённые математические заблуждения — Среди людей, мало или поверхностно знакомых с математикой, распространены некоторые суждения, которые по сути своей являются ложными.Приведём некоторые из них. Великая теорема Ферма Распространено мнение, что великая теорема Ферма (ещё её… … Википедия
Конструктивные способы определения вещественного числа — При конструктивном подходе к определению вещественного числа вещественные числа строят, исходя из рациональных, которые считают заданными. Во всех трёх нижеизложенных способах за основу берутся рациональные числа и конструируются новые объекты,… … Википедия
ЛОБАЧЕВСКОГО ГЕОМЕТРИЯ — геометрия, основанная на тех же основных посылках, что и евклидова геометрия, за исключением аксиомы о параллельных (см. Пятый постулат). В евклидовой геометрии согласно этой аксиоме на плоскости через точку Р, лежащую вне прямой А А, проходит… … Математическая энциклопедия